$M$.(timed)state $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$timedState($M$.1)